pocket encyclopedia - German English Dictionary